Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
241	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science
242	Static Deadlock Detection for Java Libraries Amy Williams, William Thies, and Michael D. Ernst Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA[removed]USA {amy,th Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2005-05-12 23:00:24 Software engineering Lock Deadlock Non-blocking algorithm Thread Java Parallel computing Computing Concurrency control Computer programming
243	Scalable Queue-Based Spin Locks with Timeout Michael L. Scott and William N. Scherer III Department of Computer Science University of Rochester Rochester, NY[removed] {scott,scherer}@cs.rochester.edu∗ Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2001-05-18 16:44:10 Data management Spinlock Compare-and-swap Test-and-set Lock Mutual exclusion Linearizability Non-blocking algorithm Busy waiting Concurrency control Computing Concurrency
244	Modeling Concurrency with Geometry Vaughan Pratt † Computer Science Department Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:40 Theoretical computer science Algebraic structures Formal methods Order theory Distributive lattice Lattice theory Boolean algebra Distributivity Finite-state machine Automata theory Models of computation Mathematics
245	Memory-Mapped Transactions by Jim Sukha Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:49 Data Information Databases Database management systems Extensible Storage Engine Serializability Database Multiversion concurrency control Memory-mapped file Data management Transaction processing Concurrency control
246	Data-Race Detection in TransactionsEverywhere Parallel Programming by Kai Huang B.S. Computer Science and Engineering, B.S. Mathematics Massachusetts Institute of Technology, June 2002 Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:51 Transaction processing Computer programming Cilk Software transactional memory Parallel computing Linearizability Lock Thread Transactional memory Computing Concurrency control Software engineering
247	Unbounded Transactional Memory C. Scott Ananian Krste Asanovi´c Bradley C. Kuszmaul Charles E. Leiserson Sean Lie MIT Computer Science and Artificial Intelligence Laboratory The Stata Center, 32 Vassar St., Cambridge, M Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:52 Data Information Computer memory Programming language implementation Software transactional memory Transactional memory CPU cache Linearizability Extensible Storage Engine Transaction processing Concurrency control Data management
248	PARTICIPANT RELEASE, WAIVER AND CONSENT NOTE: by signing this document you are giving up important legal rights, including the right to sue in case of personal injury. 1. Release Regarding Images: I, as the ‘PARTICIPAN Add to Reading List Source URL: www2.gnb.ca Language: English - Date: 2014-11-26 14:01:56 Process calculi Synchronization Use of performance-enhancing drugs in sport Internet privacy Human behavior Computer science Computing Concurrency Concurrency control Construction and Analysis of Distributed Processes
249	Frequently Asked Questions: DE‐FOA‐[removed], LAB 14‐1059 Resilience for Extreme Scale Supercomputing Systems Posted August 3, 2014 Revised August 13, 2014 This document will be updated with answers to the frequently Add to Reading List Source URL: science.energy.gov Language: English - Date: 2014-08-13 14:22:06 Application software Psychological resilience Supercomputer Electronic submission Computer programming Concurrency Computing Research Grants
250	A Process Algebraic Approach to Software Architecture Design Marco Bernardo University of Urbino – Italy c August 2010 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2010-08-26 13:23:53 Formal methods Computing Process calculus Π-calculus Concurrent computing Construction and Analysis of Distributed Processes Petri net Parallel computing Process calculi Concurrency Computer science

UPDATE